Logical reasoning - PDFSEARCH.IO - Document Search Engine

Logical reasoning
Results: 409

#	Item
151	A type-theoretic framework for formal reasoning with different logical foundations Zhaohui Luo? Dept of Computer Science, Royal Holloway, Univ of London Egham, Surrey TW20 0EX, U.K. [removed] Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English Type theory Dependently typed programming Metalogic Logic in computer science Mathematical constructivism Intuitionistic type theory Logical framework Constructivism Impredicativity Logic Mathematics Mathematical logic
152	Reasoning with Mental Models Cohen R (ed[removed]Realism and Anti-realism in the Philosophy of Science. Kluwer, Dordrecht, The Netherlands Cornman J W 1975 Perception, Common Sense, and Science. Yale University Press, New Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:37:19 Reasoning Deduction Thought Cognitive science Logical consequence Deductive reasoning Inference Reason Validity Science Logic Ethology
153	Psychological Bulletin Theories of the Syllogism: A Meta-Analysis Sangeet Khemlani and P. N. Johnson-Laird Online First Publication, January 30, 2012. doi: [removed]a0026841 CITATION Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-30 19:08:49 Traditional logic Logical consequence Arguments Epistemology Syllogism Term logic Inference Prior Analytics Deductive reasoning Logic Science Reasoning
154	An Adaptive Logic-based Approach to Abduction in AI∗ (Preliminary Report) Tjerk Gauderis Centre for Logic and Philosophy of Science Ghent University, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-06 10:47:08 Non-classical logic Logical consequence Defeasible reasoning Non-monotonic logic Default logic Abductive reasoning Entailment First-order logic Inference Logic Reasoning Logic programming
155	Mem Cogn DOI[removed]s13421[removed]The consistency of disjunctive assertions P. N. Johnson-Laird & Max Lotstein & Ruth M. J. Byrne Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-09-30 19:08:15 Thought Reasoning Boolean algebra Logic Cognitive psychology Mental model Logical disjunction Assertion Existential quantification Science Ethology Mind
156	Journal of Experimental & Theoretical Artificial Intelligence Vol. 18, No. 2, June 2006, 121–148 Models and heterogeneous reasoning P. N. JOHNSON-LAIRD* Department of Psychology, Princeton University, Green Hall, Princ Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:38:59 Deduction Logical consequence Propositional calculus Thought Mental model Reason Argument Deductive reasoning Interpretation Logic Science Reasoning
157	Avoiding Logical Fallacies By the Walden University Writing Center Staff Logical fallacies are errors of reasoning—specific ways in which arguments fall apart due to faulty connection making. While logical fallacies ma Add to Reading List Source URL: writingcenter.waldenu.edu Language: English - Date: 2013-05-15 12:59:39 Rhetoric Thought Informal fallacies Fallacy Information Hasty generalization Argument False dilemma Non sequitur Logical fallacies Critical thinking Logic
158	COHERENCE: LINKING WORDS AND PHRASES To make your work more readable and meaningful, ideas and paragraphs must be linked. Linking words are essential in developing coherent logical arguments and discussion in your assi Add to Reading List Source URL: emedia.rmit.edu.au Language: English - Date: 2015-03-29 23:00:08 Reason Reasoning Thought English articles Mind Cognition Logic English grammar Belief Epistemology
159	BOOK REVIEW 125 Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1987); 406 + xviii pages. Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2014-11-01 17:39:55 Artificial intelligence Philosophical logic Reasoning Logical consequence Prolog Logic programming Expert system Inference Epistemic modal logic Logic Mathematical logic Non-classical logic
160	Hosle-00intro_Layout[removed]:40 PM Page 1 Introduction Vittori o H ö s l e Add to Reading List Source URL: www3.nd.edu Language: English - Date: 2015-01-19 12:18:17 Epistemology Branches of philosophy Philosophy of mathematics Logical consequence Reasoning Vittorio Hösle Inference Truth Laurent Lafforgue Philosophy Logic Knowledge

UPDATE